\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Mathematical Framework}{7}{chapter.2}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap:math_framework}{{2}{7}{Mathematical Framework}{chapter.2}{}}
\newlabel{chap:math_framework@cref}{{[chapter][2][]2}{[1][7][]7}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Preliminaries and Notation}{7}{section.2.1}\protected@file@percent }
\newlabel{def:neighborhood}{{2.1}{7}{Neighborhood operator}{theorem.2.1}{}}
\newlabel{def:neighborhood@cref}{{[theorem][1][2]2.1}{[1][7][]7}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Layered Graph and Lattice Models}{7}{section.2.2}\protected@file@percent }
\newlabel{def:hamiltonian}{{2.2}{7}{Hierarchical Hamiltonian}{theorem.2.2}{}}
\newlabel{def:hamiltonian@cref}{{[theorem][2][2]2.2}{[1][7][]7}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Rule-Based Hierarchical Dynamics}{8}{section.2.3}\protected@file@percent }
\newlabel{eq:micro_update}{{2.3}{8}{Rule-Based Hierarchical Dynamics}{equation.2.3}{}}
\newlabel{eq:micro_update@cref}{{[equation][3][2]2.3}{[1][8][]8}{}{}{}}
\newlabel{def:rule_activation}{{2.4}{8}{Rule activation dynamics}{theorem.2.4}{}}
\newlabel{def:rule_activation@cref}{{[theorem][4][2]2.4}{[1][8][]8}{}{}{}}
\newlabel{assump:regularity}{{2.5}{8}{Regularity}{theorem.2.5}{}}
\newlabel{assump:regularity@cref}{{[theorem][5][2]2.5}{[1][8][]8}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}Hierarchical POMDP with Options}{8}{section.2.4}\protected@file@percent }
\newlabel{def:hpomdp}{{2.6}{8}{Hierarchical POMDP}{theorem.2.6}{}}
\newlabel{def:hpomdp@cref}{{[theorem][6][2]2.6}{[1][8][]8}{}{}{}}
\newlabel{thm:option_improvement}{{2.7}{8}{Option Policy Improvement}{theorem.2.7}{}}
\newlabel{thm:option_improvement@cref}{{[theorem][7][2]2.7}{[1][8][]8}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Multi-Objective Planning and Resource Constraints}{8}{section.2.5}\protected@file@percent }
\newlabel{prop:bounded_utility}{{2.8}{9}{Bounded Utility}{theorem.2.8}{}}
\newlabel{prop:bounded_utility@cref}{{[theorem][8][2]2.8}{[1][8][]9}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.6}Fixed-Point Existence}{9}{section.2.6}\protected@file@percent }
\newlabel{thm:fixed_point}{{2.9}{9}{Existence and Uniqueness of Hierarchical Fixed Points}{theorem.2.9}{}}
\newlabel{thm:fixed_point@cref}{{[theorem][9][2]2.9}{[1][9][]9}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.7}Interfaces to Simulation and Experiments}{9}{section.2.7}\protected@file@percent }
\@setckpt{chapters/chapter2_mathematical_framework}{
\setcounter{page}{10}
\setcounter{equation}{6}
\setcounter{enumi}{2}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{1}
\setcounter{chapter}{2}
\setcounter{section}{7}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{float@type}{16}
\setcounter{algorithm}{0}
\setcounter{ALC@unique}{0}
\setcounter{ALC@line}{0}
\setcounter{ALC@rem}{0}
\setcounter{ALC@depth}{0}
\setcounter{lstnumber}{1}
\setcounter{caption@flags}{2}
\setcounter{continuedfloat}{0}
\setcounter{subfigure}{0}
\setcounter{subtable}{0}
\setcounter{LT@tables}{0}
\setcounter{LT@chunks}{0}
\setcounter{tabx@nest}{0}
\setcounter{listtotal}{0}
\setcounter{listcount}{0}
\setcounter{liststart}{0}
\setcounter{liststop}{0}
\setcounter{citecount}{0}
\setcounter{citetotal}{0}
\setcounter{multicitecount}{0}
\setcounter{multicitetotal}{0}
\setcounter{instcount}{6}
\setcounter{maxnames}{3}
\setcounter{minnames}{1}
\setcounter{maxitems}{3}
\setcounter{minitems}{1}
\setcounter{citecounter}{0}
\setcounter{maxcitecounter}{0}
\setcounter{savedcitecounter}{0}
\setcounter{uniquelist}{0}
\setcounter{uniquename}{0}
\setcounter{refsection}{0}
\setcounter{refsegment}{0}
\setcounter{maxextratitle}{0}
\setcounter{maxextratitleyear}{0}
\setcounter{maxextraname}{0}
\setcounter{maxextradate}{0}
\setcounter{maxextraalpha}{0}
\setcounter{abbrvpenalty}{50}
\setcounter{highnamepenalty}{50}
\setcounter{lownamepenalty}{25}
\setcounter{maxparens}{3}
\setcounter{parenlevel}{0}
\setcounter{blx@maxsection}{0}
\setcounter{mincomprange}{10}
\setcounter{maxcomprange}{100000}
\setcounter{mincompwidth}{1}
\setcounter{afterword}{0}
\setcounter{savedafterword}{0}
\setcounter{annotator}{0}
\setcounter{savedannotator}{0}
\setcounter{author}{0}
\setcounter{savedauthor}{0}
\setcounter{bookauthor}{0}
\setcounter{savedbookauthor}{0}
\setcounter{commentator}{0}
\setcounter{savedcommentator}{0}
\setcounter{editor}{0}
\setcounter{savededitor}{0}
\setcounter{editora}{0}
\setcounter{savededitora}{0}
\setcounter{editorb}{0}
\setcounter{savededitorb}{0}
\setcounter{editorc}{0}
\setcounter{savededitorc}{0}
\setcounter{foreword}{0}
\setcounter{savedforeword}{0}
\setcounter{holder}{0}
\setcounter{savedholder}{0}
\setcounter{introduction}{0}
\setcounter{savedintroduction}{0}
\setcounter{namea}{0}
\setcounter{savednamea}{0}
\setcounter{nameb}{0}
\setcounter{savednameb}{0}
\setcounter{namec}{0}
\setcounter{savednamec}{0}
\setcounter{translator}{0}
\setcounter{savedtranslator}{0}
\setcounter{shortauthor}{0}
\setcounter{savedshortauthor}{0}
\setcounter{shorteditor}{0}
\setcounter{savedshorteditor}{0}
\setcounter{labelname}{0}
\setcounter{savedlabelname}{0}
\setcounter{institution}{0}
\setcounter{savedinstitution}{0}
\setcounter{lista}{0}
\setcounter{savedlista}{0}
\setcounter{listb}{0}
\setcounter{savedlistb}{0}
\setcounter{listc}{0}
\setcounter{savedlistc}{0}
\setcounter{listd}{0}
\setcounter{savedlistd}{0}
\setcounter{liste}{0}
\setcounter{savedliste}{0}
\setcounter{listf}{0}
\setcounter{savedlistf}{0}
\setcounter{location}{0}
\setcounter{savedlocation}{0}
\setcounter{organization}{0}
\setcounter{savedorganization}{0}
\setcounter{origlocation}{0}
\setcounter{savedoriglocation}{0}
\setcounter{origpublisher}{0}
\setcounter{savedorigpublisher}{0}
\setcounter{publisher}{0}
\setcounter{savedpublisher}{0}
\setcounter{language}{0}
\setcounter{savedlanguage}{0}
\setcounter{origlanguage}{0}
\setcounter{savedoriglanguage}{0}
\setcounter{pageref}{0}
\setcounter{savedpageref}{0}
\setcounter{textcitecount}{0}
\setcounter{textcitetotal}{0}
\setcounter{textcitemaxnames}{0}
\setcounter{biburlbigbreakpenalty}{100}
\setcounter{biburlbreakpenalty}{200}
\setcounter{biburlnumpenalty}{0}
\setcounter{biburlucpenalty}{0}
\setcounter{biburllcpenalty}{0}
\setcounter{smartand}{1}
\setcounter{bbx:relatedcount}{0}
\setcounter{bbx:relatedtotal}{0}
\setcounter{section@level}{0}
\setcounter{Item}{10}
\setcounter{Hfootnote}{0}
\setcounter{bookmark@seq@number}{19}
\setcounter{mdf@globalstyle@cnt}{0}
\setcounter{mdfcountframes}{0}
\setcounter{mdf@env@i}{0}
\setcounter{mdf@env@ii}{0}
\setcounter{mdf@zref@counter}{1}
\setcounter{@pps}{0}
\setcounter{@ppsavesec}{0}
\setcounter{@ppsaveapp}{0}
\setcounter{theorem}{9}
\setcounter{lstlisting}{0}
}
